Optimal. Leaf size=120 \[ \frac {(f+g x)^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 g}-\frac {b n (e f-d g)^3 \log (d+e x)}{3 e^3 g}-\frac {b n x (e f-d g)^2}{3 e^2}-\frac {b n (f+g x)^2 (e f-d g)}{6 e g}-\frac {b n (f+g x)^3}{9 g} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 120, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {2395, 43} \[ \frac {(f+g x)^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 g}-\frac {b n x (e f-d g)^2}{3 e^2}-\frac {b n (e f-d g)^3 \log (d+e x)}{3 e^3 g}-\frac {b n (f+g x)^2 (e f-d g)}{6 e g}-\frac {b n (f+g x)^3}{9 g} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 2395
Rubi steps
\begin {align*} \int (f+g x)^2 \left (a+b \log \left (c (d+e x)^n\right )\right ) \, dx &=\frac {(f+g x)^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 g}-\frac {(b e n) \int \frac {(f+g x)^3}{d+e x} \, dx}{3 g}\\ &=\frac {(f+g x)^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 g}-\frac {(b e n) \int \left (\frac {g (e f-d g)^2}{e^3}+\frac {(e f-d g)^3}{e^3 (d+e x)}+\frac {g (e f-d g) (f+g x)}{e^2}+\frac {g (f+g x)^2}{e}\right ) \, dx}{3 g}\\ &=-\frac {b (e f-d g)^2 n x}{3 e^2}-\frac {b (e f-d g) n (f+g x)^2}{6 e g}-\frac {b n (f+g x)^3}{9 g}-\frac {b (e f-d g)^3 n \log (d+e x)}{3 e^3 g}+\frac {(f+g x)^3 \left (a+b \log \left (c (d+e x)^n\right )\right )}{3 g}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.15, size = 150, normalized size = 1.25 \[ \frac {e \left (x \left (6 a e^2 \left (3 f^2+3 f g x+g^2 x^2\right )-b n \left (6 d^2 g^2-3 d e g (6 f+g x)+e^2 \left (18 f^2+9 f g x+2 g^2 x^2\right )\right )\right )+6 b e \left (3 d f^2+e x \left (3 f^2+3 f g x+g^2 x^2\right )\right ) \log \left (c (d+e x)^n\right )\right )+6 b d^2 g n (d g-3 e f) \log (d+e x)}{18 e^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.45, size = 221, normalized size = 1.84 \[ -\frac {2 \, {\left (b e^{3} g^{2} n - 3 \, a e^{3} g^{2}\right )} x^{3} - 3 \, {\left (6 \, a e^{3} f g - {\left (3 \, b e^{3} f g - b d e^{2} g^{2}\right )} n\right )} x^{2} - 6 \, {\left (3 \, a e^{3} f^{2} - {\left (3 \, b e^{3} f^{2} - 3 \, b d e^{2} f g + b d^{2} e g^{2}\right )} n\right )} x - 6 \, {\left (b e^{3} g^{2} n x^{3} + 3 \, b e^{3} f g n x^{2} + 3 \, b e^{3} f^{2} n x + {\left (3 \, b d e^{2} f^{2} - 3 \, b d^{2} e f g + b d^{3} g^{2}\right )} n\right )} \log \left (e x + d\right ) - 6 \, {\left (b e^{3} g^{2} x^{3} + 3 \, b e^{3} f g x^{2} + 3 \, b e^{3} f^{2} x\right )} \log \relax (c)}{18 \, e^{3}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.19, size = 430, normalized size = 3.58 \[ \frac {1}{3} \, {\left (x e + d\right )}^{3} b g^{2} n e^{\left (-3\right )} \log \left (x e + d\right ) - {\left (x e + d\right )}^{2} b d g^{2} n e^{\left (-3\right )} \log \left (x e + d\right ) + {\left (x e + d\right )} b d^{2} g^{2} n e^{\left (-3\right )} \log \left (x e + d\right ) - \frac {1}{9} \, {\left (x e + d\right )}^{3} b g^{2} n e^{\left (-3\right )} + \frac {1}{2} \, {\left (x e + d\right )}^{2} b d g^{2} n e^{\left (-3\right )} - {\left (x e + d\right )} b d^{2} g^{2} n e^{\left (-3\right )} + {\left (x e + d\right )}^{2} b f g n e^{\left (-2\right )} \log \left (x e + d\right ) - 2 \, {\left (x e + d\right )} b d f g n e^{\left (-2\right )} \log \left (x e + d\right ) + \frac {1}{3} \, {\left (x e + d\right )}^{3} b g^{2} e^{\left (-3\right )} \log \relax (c) - {\left (x e + d\right )}^{2} b d g^{2} e^{\left (-3\right )} \log \relax (c) + {\left (x e + d\right )} b d^{2} g^{2} e^{\left (-3\right )} \log \relax (c) - \frac {1}{2} \, {\left (x e + d\right )}^{2} b f g n e^{\left (-2\right )} + 2 \, {\left (x e + d\right )} b d f g n e^{\left (-2\right )} + \frac {1}{3} \, {\left (x e + d\right )}^{3} a g^{2} e^{\left (-3\right )} - {\left (x e + d\right )}^{2} a d g^{2} e^{\left (-3\right )} + {\left (x e + d\right )} a d^{2} g^{2} e^{\left (-3\right )} + {\left (x e + d\right )} b f^{2} n e^{\left (-1\right )} \log \left (x e + d\right ) + {\left (x e + d\right )}^{2} b f g e^{\left (-2\right )} \log \relax (c) - 2 \, {\left (x e + d\right )} b d f g e^{\left (-2\right )} \log \relax (c) - {\left (x e + d\right )} b f^{2} n e^{\left (-1\right )} + {\left (x e + d\right )}^{2} a f g e^{\left (-2\right )} - 2 \, {\left (x e + d\right )} a d f g e^{\left (-2\right )} + {\left (x e + d\right )} b f^{2} e^{\left (-1\right )} \log \relax (c) + {\left (x e + d\right )} a f^{2} e^{\left (-1\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.32, size = 585, normalized size = 4.88 \[ b \,f^{2} x \ln \relax (c )+\frac {a \,g^{2} x^{3}}{3}+\frac {b \,g^{2} x^{3} \ln \relax (c )}{3}+\frac {\left (g x +f \right )^{3} b \ln \left (\left (e x +d \right )^{n}\right )}{3 g}+\frac {b d f g n x}{e}-\frac {b \,d^{2} f g n \ln \left (e x +d \right )}{e^{2}}+b f g \,x^{2} \ln \relax (c )-\frac {b \,f^{3} n \ln \left (e x +d \right )}{3 g}-\frac {b \,g^{2} n \,x^{3}}{9}+a f g \,x^{2}+a \,f^{2} x +\frac {i \pi b \,g^{2} x^{3} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{6}+\frac {i \pi b \,g^{2} x^{3} \mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{6}-\frac {i \pi b f g \,x^{2} \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{3}}{2}+\frac {i \pi b \,f^{2} x \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{2}+\frac {i \pi b \,f^{2} x \,\mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{2}+\frac {b d \,g^{2} n \,x^{2}}{6 e}-\frac {b f g n \,x^{2}}{2}-\frac {b \,d^{2} g^{2} n x}{3 e^{2}}-b \,f^{2} n x +\frac {b d \,f^{2} n \ln \left (e x +d \right )}{e}+\frac {b \,d^{3} g^{2} n \ln \left (e x +d \right )}{3 e^{3}}-\frac {i \pi b \,g^{2} x^{3} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )}{6}+\frac {i \pi b f g \,x^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{2}+\frac {i \pi b f g \,x^{2} \mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{2}}{2}-\frac {i \pi b \,f^{2} x \,\mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )}{2}-\frac {i \pi b \,g^{2} x^{3} \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{3}}{6}-\frac {i \pi b \,f^{2} x \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )^{3}}{2}-\frac {i \pi b f g \,x^{2} \mathrm {csgn}\left (i c \right ) \mathrm {csgn}\left (i \left (e x +d \right )^{n}\right ) \mathrm {csgn}\left (i c \left (e x +d \right )^{n}\right )}{2} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.08, size = 187, normalized size = 1.56 \[ \frac {1}{3} \, b g^{2} x^{3} \log \left ({\left (e x + d\right )}^{n} c\right ) + \frac {1}{3} \, a g^{2} x^{3} - b e f^{2} n {\left (\frac {x}{e} - \frac {d \log \left (e x + d\right )}{e^{2}}\right )} + \frac {1}{18} \, b e g^{2} n {\left (\frac {6 \, d^{3} \log \left (e x + d\right )}{e^{4}} - \frac {2 \, e^{2} x^{3} - 3 \, d e x^{2} + 6 \, d^{2} x}{e^{3}}\right )} - \frac {1}{2} \, b e f g n {\left (\frac {2 \, d^{2} \log \left (e x + d\right )}{e^{3}} + \frac {e x^{2} - 2 \, d x}{e^{2}}\right )} + b f g x^{2} \log \left ({\left (e x + d\right )}^{n} c\right ) + a f g x^{2} + b f^{2} x \log \left ({\left (e x + d\right )}^{n} c\right ) + a f^{2} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.27, size = 212, normalized size = 1.77 \[ x^2\,\left (\frac {g\,\left (a\,d\,g+2\,a\,e\,f-b\,e\,f\,n\right )}{2\,e}-\frac {d\,g^2\,\left (3\,a-b\,n\right )}{6\,e}\right )+x\,\left (\frac {3\,a\,e\,f^2-3\,b\,e\,f^2\,n+6\,a\,d\,f\,g}{3\,e}-\frac {d\,\left (\frac {g\,\left (a\,d\,g+2\,a\,e\,f-b\,e\,f\,n\right )}{e}-\frac {d\,g^2\,\left (3\,a-b\,n\right )}{3\,e}\right )}{e}\right )+\ln \left (c\,{\left (d+e\,x\right )}^n\right )\,\left (b\,f^2\,x+b\,f\,g\,x^2+\frac {b\,g^2\,x^3}{3}\right )+\frac {g^2\,x^3\,\left (3\,a-b\,n\right )}{9}+\frac {\ln \left (d+e\,x\right )\,\left (b\,n\,d^3\,g^2-3\,b\,n\,d^2\,e\,f\,g+3\,b\,n\,d\,e^2\,f^2\right )}{3\,e^3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 3.91, size = 277, normalized size = 2.31 \[ \begin {cases} a f^{2} x + a f g x^{2} + \frac {a g^{2} x^{3}}{3} + \frac {b d^{3} g^{2} n \log {\left (d + e x \right )}}{3 e^{3}} - \frac {b d^{2} f g n \log {\left (d + e x \right )}}{e^{2}} - \frac {b d^{2} g^{2} n x}{3 e^{2}} + \frac {b d f^{2} n \log {\left (d + e x \right )}}{e} + \frac {b d f g n x}{e} + \frac {b d g^{2} n x^{2}}{6 e} + b f^{2} n x \log {\left (d + e x \right )} - b f^{2} n x + b f^{2} x \log {\relax (c )} + b f g n x^{2} \log {\left (d + e x \right )} - \frac {b f g n x^{2}}{2} + b f g x^{2} \log {\relax (c )} + \frac {b g^{2} n x^{3} \log {\left (d + e x \right )}}{3} - \frac {b g^{2} n x^{3}}{9} + \frac {b g^{2} x^{3} \log {\relax (c )}}{3} & \text {for}\: e \neq 0 \\\left (a + b \log {\left (c d^{n} \right )}\right ) \left (f^{2} x + f g x^{2} + \frac {g^{2} x^{3}}{3}\right ) & \text {otherwise} \end {cases} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________